Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

• Myrto Arapinis (University of Edinburgh), one week in January 2013, two weeks in November 2013

• Florian Boehl (KIT University), one week in January 2013

• Luigi Grillo (Università di Catania), two weeks in April 2013

• Dominique Unruh (Tallin University), one week in February 2013

• Bogdan Warinschi (University of Bristol), one week in January 2013

• Paliath Narendran (SUNY Albany), one month in June-July 2013

• David Bouchard and Kim Gero (SUNY Albany), one week in September 2013

• Christoph Sprenger and Binh Nguyen (ETH Zürich) three days in April 2013

Internships

We have supervised the following internships.

• Anisia Maria Magdalena Tudorescu

  • Subject: Integrating SMT solvers into Spike

  • Supervisors: Pascal Fontaine (project-team Veridis), Sorin Stratulat, and Christophe Ringeissen

  • Date: from Mar 2013 until May 2013

  • Institution: West Timisoara University (Romania)

• Gisela-Carla Rossi

  • Subject: Formal Methods for Secure Service Composition

  • Supervisors: Walid Belkhir and Michaël Rusinowitch

  • Date: from Jun 2013 until Dec 2013

  • Institution: National University of Cordoba (Argentina)

• Paula Chocrón

  • Subject: Non-disjoint combination for SMT solvers: sharing a fragment of arithmetic

  • Supervisors: Pascal Fontaine (project-team Veridis) and Christophe Ringeissen

  • Date: from Sep 2013 until Nov 2013

  • Institution: University of Buenos Aires (Argentina)

• Gemma Puig-Quer

  • Subject: New protocols for private e-voting

  • Supervisors: David Galindo-Chacon and Véronique Cortier

  • Date: from Sep 2013 until Mar 2014

  • Institution: UPC Barcelona (Spain)

In addition, Steve Kremer has supervised the following students from the École des Mines de Nancy:

• Othmane El Omri, Analysis of a peer-to-peer E-wallet protocol (from Jul 2013 to Sep 2013)

• Pierre Lepeudry, Formalizing some combinatorial attacks in security protocols (from Sep 2013 to Jan 2014)

and Véronique Cortier and Cyrille Wiedling have supervised a group of three students from the École des Mines de Nancy on the implementation of a secure key management system on smartcards: Arnaud Kéranguéven, Hadrien Chastant, and Othmane El Omri (from Oct 2012 to June 2013).

Visits to International Teams

• Olga Kouchnarenko, August 2013 (10 days), Ecole Polytechnique de Montréal (the CRAC team), Canada, visit funded by the Conseil franco-québécois de coopération universitaire” (CFQCU).